（来源：上观新闻）
用户可以通过调整🆖🦙努力参数、设置✡👨🚒任务预算或🍉🇮🇹提示模型更简洁🍼来控制 toke🎮3️⃣n 使用量⚜🕊。大部分用户认可🦠Opus 4.🦓4️⃣7在编程能力📚的提升，但是在🍏文案撰写、对话🍼沟通方面👩🔬⬆槽点较🧷🥪多🗼⚡。
但在余怡然看🥉来，现阶段的赛👧🛳事并非单纯🤝🍀的营销噱头，而是💲必要的技术🏤压力测试✒👩🦰。图丨自上而下的🈯规约生成新范式（⏸来源：arX😁🦴iv） 在推理😩过程的可靠性⛎方面，研究🤼♀️🇬🇺团队并不是直接🇳🇦让 LLM 判🇫🇰⚓断代码🤽♂️👸是否正确，而是将🎬思维链（Chai🥟n of T©hought）✉与霍尔逻辑💴的推理规则📄相结合🏈，引导🥧 LLM 🆕逐步推导每个代码⏰🕣块执行后程序状态☸🇮🇹所满足的性质，最🕘终检查程序状态🇵🇦是否符合“说明⏩🧹书”的要求🇲🇭☣。
基于晶圆🧲📌的加工限制💗🚮了单次运行🇼🇸可处理的单🇿🇲元数量，而随着🇸🇽🧪模块尺寸接🇮🇪近甚至🐺🧰最终超过光刻🔐🇩🇬胶的限制，这种限🇵🇹🙅♂️制的成本🚙👨🎨将变得越来越👵高💖🇲🇱。
